S.H. Mirian-Hosseinabadi: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A model-driven approach to semi-structured database design

Jahangard-Rafsanjani, Amir, Mirian-Hosseinabadi, Seyed-Hassan

Journal:

Frontiers of Computer Science

Year:

2015

Language:

english

File:

PDF, 1.14 MB

english, 2015

2

MBTDD: MODEL BASED TEST DRIVEN DEVELOPMENT

SADEGHI, ALIREZA, MIRIAN-HOSSEINABADI, SEYED-HASSAN

Journal:

International Journal of Software Engineering and Knowledge Engineering

Year:

2012

Language:

english

File:

PDF, 1.41 MB

english, 2012

3

Lightweight formalization and validation of ORM models

Jahangard-Rafsanjani, Amir, Mirian-Hosseinabadi, Seyed-Hassan

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2015

Language:

english

File:

PDF, 784 KB

english, 2015

4

Reliability of separation of duty in ANSI standard role-based access control

M. Esna-Ashari, H.R. Rabiee, S.H. Mirian-Hosseinabadi

Journal:

Scientia Iranica

Year:

2011

Language:

english

File:

PDF, 463 KB

english, 2011

5

[IEEE 10th International Conference on Information Technology (ICIT 2007) - Rourkela, Orissa, India (2007.12.17-2007.12.20)] 10th International Conference on Information Technology (ICIT 2007) - An Aspect Enhanced Method of NFR Modeling in Software Architecture

Bagheri, Hamid, Mirian-Hosseinabadi, Seyed-Hassan, Esfahani, Hesam Chiniforooshan

Year:

2007

Language:

english

File:

PDF, 380 KB

english, 2007

6

MEDICAL POLITICS.

Khalafinejad, Saeed, Mirian-Hosseinabadi, Seyed-Hassan

Journal:

Year:

1847

Language:

english

File:

PDF, 212 KB

english, 1847

7

Translation of Z specifications to executable code: Application to the database domain

Khalafinejad, Saeed, Mirian-Hosseinabadi, Seyed-Hassan

Journal:

Information and Software Technology

Year:

2013

Language:

english

File:

PDF, 4.20 MB

english, 2013

8

Generating semantically valid test inputs using constrained input grammars

Keramati, Hossein, Mirian-Hosseinabadi, Seyed-Hassan

Journal:

Information and Software Technology

Year:

2015

Language:

english

File:

PDF, 1.16 MB

english, 2015

9

[IEEE 2009 14th International CSI Computer Conference (CSICC 2009) (Postponed from July 2009) - Tehran, Iran (2009.10.20-2009.10.21)] 2009 14th International CSI Computer Conference - A refinement approach for developing probabilistic programs

Haghighi, Hassan, Mirian-Hosseinabadi, Seyyed Hassan

Year:

2009

Language:

english

File:

PDF, 458 KB

english, 2009

10

[IEEE 2009 14th International CSI Computer Conference (CSICC 2009) (Postponed from July 2009) - Tehran, Iran (2009.10.20-2009.10.21)] 2009 14th International CSI Computer Conference - An approach for refining JML specification to object oriented code

Piri, Razieh, Mirian-Hosseinabadi, Seyed-Hassan

Year:

2009

Language:

english

File:

PDF, 133 KB

english, 2009

11

[IEEE 2009 Second International Conference on the Applications of Digital Information and Web Technologies (ICADIWT) - London, United Kingdom (2009.08.4-2009.08.6)] 2009 Second International Conference on the Applications of Digital Information and Web Technologies - A top down approach to semi-structured database design

Rafsanjani, Amir Jahangard, Mirian-Hosseinabadi, Seyed-Hassan

Year:

2009

Language:

english

File:

PDF, 452 KB

english, 2009

12

[IEEE 2011 IEEE International Conference on Electro/Information Technology (EIT 2011) - Mankato, MN, USA (2011.05.15-2011.05.17)] 2011 IEEE INTERNATIONAL CONFERENCE ON ELECTRO/INFORMATION TECHNOLOGY - Generation of database schemas from Z specifications

Khalafinejad, Saeed, Mirian-Hosseinabadi, Seyed-Hassan

Year:

2011

Language:

english

File:

PDF, 277 KB

english, 2011

13

[IEEE 2010 2nd IEEE International Conference on Information Management and Engineering - Chengdu, China (2010.04.16-2010.04.18)] 2010 2nd IEEE International Conference on Information Management and Engineering - Rule-based translation of specifications to executable code

Khalafinejad, Saeed, Mirian-Hosseinabadi, Seyed-Hassan

Year:

2010

Language:

english

File:

PDF, 511 KB

english, 2010

14

[IEEE 2008 International Conference on Computational Intelligence for Modelling Control & Automation - Vienna, Austria (2008.12.10-2008.12.12)] 2008 International Conference on Computational Intelligence for Modelling Control & Automation - RIAL: Redundancy Reducing Inlining Algorithm to Map XML DTD to Relations

Rafsanjani, Amir Jahangard, Mirian-Hosseinabadi, Seyed-Hassan

Year:

2008

Language:

english

File:

PDF, 331 KB

english, 2008

15

[IEEE 2012 IEEE 9th Int'l Conference on Ubiquitous Intelligence & Computing / 9th Int'l Conference on Autonomic & Trusted Computing (UIC/ATC) - Fukuoka, Japan (2012.09.4-2012.09.7)] 2012 9th International Conference on Ubiquitous Intelligence and Computing and 9th International Conference on Autonomic and Trusted Computing - Mining Distributed Frequent Itemsets Using a Gossip Based Protocol

Bagheri, Maryam, Mirian-Hosseinabadi, Seyed-Hassan, Mashayekhi, Hoda, Habibi, Jafar

Year:

2012

File:

PDF, 414 KB

2012

16

[IEEE 2008 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA) - Doha, Qatar (2008.03.31-2008.04.4)] 2008 IEEE/ACS International Conference on Computer Systems and Applications - An evaluation method for aspectual modeling of distributed software architectures

Bagheri, Hamid, Montaghami, Vajih, Safi, Gholamreza, Mirian-Hosseinabadi, Seyed-Hassan

Year:

2008

Language:

english

File:

PDF, 399 KB

english, 2008

17

[IEEE 2008 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA) - Doha, Qatar (2008.03.31-2008.04.4)] 2008 IEEE/ACS International Conference on Computer Systems and Applications - Integrating software development security activities with agile methodologies

Keramati, Hossein, Mirian-Hosseinabadi, Seyed-Hassan

Year:

2008

Language:

english

File:

PDF, 970 KB

english, 2008

18

Constructive Z

Mirian-Hosseinabadi, S-H

Journal:

Journal of Logic and Computation

Year:

1998

Language:

english

File:

PDF, 839 KB

english, 1998

19

[IEEE 2010 2nd International Conference on Education Technology and Computer (ICETC) - Shanghai, China (2010.06.22-2010.06.24)] 2010 2nd International Conference on Education Technology and Computer - Emphasizing experiences in teaching software engineering courses

Mirian-Hosseinabadi, Seyed-Hassan, Aghakasiri, Zahra, Sadeghi, Alireza, Delfani, Parisa, Ghandehari, Morteza

Year:

2010

Language:

english

File:

PDF, 418 KB

english, 2010

20

Event-driven web application testing based on model-based mutation testing

E. Habibi, S. Mirian-hosseinabadi

Year:

2015

Language:

english

File:

PDF, 4.71 MB

english, 2015

21

[IEEE 2010 International Conference on Electronics and Information Engineering (ICEIE 2010) - Kyoto, Japan (2010.08.1-2010.08.3)] 2010 International Conference on Electronics and Information Engineering - Derivation of Z functional input/output refinement proof rules

Khalafinejad, Saeed, Mirian-Hosseinabadi, Seyed-Hassan

Year:

2010

Language:

english

File:

PDF, 575 KB

english, 2010

22

TOWARDS A CALCULUS FOR NONDETERMINISTIC SCHEMAS IN Z

HAGHIGHI, HASSAN, MIRIAN-HOSSEINABADI, SEYYED-HASSAN

Journal:

International Journal of Software Engineering and Knowledge Engineering

Year:

2012

Language:

english

File:

PDF, 253 KB

english, 2012

23

[IEEE 10th International Conference on Information Technology (ICIT 2007) - Rourkela, Orissa, India (2007.12.17-2007.12.20)] 10th International Conference on Information Technology (ICIT 2007) - An Aspect Enhanced Method of NFR Modeling in Software Architecture

Bagheri, Hamid, Mirian-Hosseinabadi, Seyed-Hassan, Esfahani, Hesam Chiniforooshan

Year:

2007

Language:

english

File:

PDF, 380 KB

english, 2007

24

Delta-based regression testing: a formal framework towards model-driven regression testing

Nooraei Abadeh, Maryam, Mirian-Hosseinabadi, Seyed-Hassan

Journal:

Journal of Software Evolution and Process

Year:

2015

Language:

english

File:

PDF, 6.24 MB

english, 2015

25

Automating Feature Model Refactoring: A Model Transformation Approach

Tanhaei, Mohammad, Habibi, Jafar, Mirian-Hosseinabadi, Seyed-Hassan

Journal:

Information and Software Technology

Year:

2016

Language:

english

File:

PDF, 1.67 MB

english, 2016

26

A Feature Model Based Framework for Refactoring Software Product Line Architecture

Tanhaei, Mohammad, Habibi, Jafar, Mirian-Hosseinabadi, Seyed-Hassan

Journal:

Journal of Computer Science and Technology

Year:

2016

Language:

english

File:

PDF, 2.56 MB

english, 2016

27

[IEEE 2010 7th IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems (EASe) - Oxford, TBD, England (2010.03.22-2010.03.26)] 2010 Seventh IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems - A Service Based Approach to Self-Adaptive Software Systems Based on Constructing a Group of Autonomic Elements

Safi, Gholamreza, Mirian-Hosseinabadi, Seyed-Hassan

Year:

2010

Language:

english

File:

PDF, 1.01 MB

english, 2010

28

Incorporating fault-proneness estimations into coverage-based test case prioritization methods

Mahdieh, Mostafa, Mirian-Hosseinabadi, Seyed-Hassan, Etemadi, Khashayar, Nosrati, Ali, Jalali, Sajad

Journal:

Information and Software Technology

Year:

2020

File:

PDF, 1.37 MB

2020

29

Statement frequency coverage: A code coverage criterion for assessing test suite effectiveness

Aghamohammadi, Alireza, Mirian-Hosseinabadi, Seyed-Hassan, Jalali, Sajad

Journal:

Information and Software Technology

Year:

2020

File:

PDF, 694 KB

2020